Interim release for semantics 1

This release includes major fixes for partiality, the use of travis for automated testing, as well as a number of other smaller bug fixes and changes.