Toxaris/pts — pull request #113 by Blaisorblade (2014-08-09 21:10:33+00:00)
Title: Reify PTS & implement subtyping

This depends on #112.