Refactor OperatorListConcatenate typecheck
Refactor AnonymousType typecheck
First pass at import resolution
Try on generic visitor
Make every Expression a ValueSemantics and use the known list of
attributes to map generically over any AST node.
Introduces a conditional, but removes boilerplate from every single
Implement many builtins and do Optional section