Fix incorrect pretty print of 0 cardinality
Adds liftable for TypeTags and improves Symbol liftable
Use macro ??? instead of ??? // macro