Remove tuple type---it's just a normal parametric type as far as representation goes.
Get parser to work with some basic examples.