allow many type specifications, seperated by comma
assumes for integral