implemented *_expr methods; todo: symbol/value table, checks, more testing