Interim release for semantics 1

This interim release includes an implementation of partiality in the metalanguage, as well as a number of other fixes and changes. The partiality implementation is still not quite final, so it's not a new version.