Removed unused coreCaseLit in pretty printer
Added pretty printing for native kind