factor out a common tup'
fix infinite loop in type parser on ()