parens for pretty printing applications
Merge remote-tracking branch 'upstream/fomega' into fomega
Signal an error if an unknown term is fed into the type checker
Hint on the behaviour of the signature analysis