accept !> in more places in the parser; also a bugfix for list of type variables