support for "(type a b ..)" as syntactic sugar for "(type a) (type b) ..."