inferResAnnotation: case for BuiltIn
Declare use of language extension GeneralizedNewtypeDeriving
Allow pointwise constraints for functions

If now additional constraints are given this generates atm the
statement "(assert (forall (x T) true))" since the generation
of the constraints depends on x.
Merge branch 'master' of github.com:hguenther/smtlib2