allow many type specifications, seperated by comma

e.g.,
```
{-@ foo, bar :: x:a -> {v:a|v = x}@-}
```