Expressions with variables and their fixpoint evaluation