variables and expressions implementation.