slightly cleaned up parsing/prettyprint (i.e. textual representation) of Core