Bug fix in generating type schemes for value constructors. Parentheses around tuples. Adjustments to tests.