Fixed pretty printing of data types in core
Tweaks to Core -> G compiler, toward proper anf