librumur: introduce new Var type

This expression is used for referring to variables (either parts of the state or
local variables). I'm still not sure this is the natural solution. It feels like
this and ExprID should be a single class, but we'll see how it goes.