storm.py: parse expressions passed via commandline
interpreter.py: added Func, Var and Expr
grammar.py: more clean-ups