Added type restrictions for parens

Parens should also require that the last expression in the body consumes
the entire available input stack, but the existence of pipes makes that
difficult to figure out how to enforce properly.