Toxaris/pts — pull request #116 by Blaisorblade (2014-08-10 15:49:36+00:00)
Title: Reify PTS & implement language subtyping, v2

Updated version of #113.