Handle builtins in a generic way

The main motivation is to prevent undefined values from aborting why3 execute. The following example now fails with "Execution terminated because an undefined argument was passed to builtin (+)".

use int.Int
val ref x : int
let f () = x <- x + 0

Hopefully, this will also make the implementation of additional builtins a lot less tedious.