Use SimpleSub-style type representation #338
Description
Currently we represent types more or less as parsed, and then feed those in to a SimpleSub-style solver.
However, it would be much simpler to store them SimpleSub-style directly.
{{ message }}