style: more modern indentation
Bail out of unification on first failure
style: modern indentation
style: modern indentation
Be more aggressive with parsing reserved words
Remove special (and wrong) case for composition op
style: modern indentation and more type signatures
Merge branch 'machine-errors'