types+grammar: ch4, more on unary operator coercion with - and +