Second half of Core API (CTags, Parsers, Pretty Printers)

Adds all the missing bits I needs for the Agda backend. Wasn't sure where to put the CTag things,
maybe this should be moved to Base/API.chs ?