Create LICENSE

adds in-variant reading order

forall variables should never be dummies

missing "forall" keyword in poly

reorder parsing clauses to put all contextual rules together

better errors for module opening

fix a serious bug with dummy vars in dependent versions

more informative unification errors

fix minor parser issue

fix serious bug in records

fix a parser error

evalTerm and require solving need definitions

fix decontinuization scope bug

fix continuation level bug

Debug shouldn't be imported anywhere. oops