Started fleshing out wyah's AST
Forall supports can binding arbitrarily many vars
Added most expressions to AST