Wip parser combinator
More work on parsers
Return to a recursive-descent style parser
Switch to interned strings for identifiers
Add alts! to make it easier to choose between options
Make string literals be interned too
types are hard
Clean up IdentExpr a bit
Initial planning for data types
Fix the Int name type signature
Initial work on figuring out unification