Burn the underbrush
Minimal AST and parser
Parse bindings: name = expr
Model for type expressions and algebraic data types
Chicken scratch regarding type checking