Wrote some code for printing aggregate types in their new representation. Still not completely working.