filter DisableExtension{} from knownExtensions, fixes #8
allow different parsers to be used in pattern contexts
implement `pat` analogue of `hs` etc.