Show foralls (when requested) in pattern synonym types
#TEMP Just stashing everything in case someone wants to look at it