allow insane telescope in datatype parameters

Use case: Contexts parameterized on the type of Types
  data Cxt [ Ty : Cxt Ty -> Set ] : Set where
    nil  : Cxt Ty
    snoc : (G : Cxt Ty) -> Ty G -> Cxt Ty