Integrate CallExpr checks and new builtin handling

evalCallExpr has been much simplified thanks to the type
checker. Builtins are now handled on a case by case basis
and have lost the ugly function prototypes
Merge pull request #42 from 0xfaded/carl_integrate_func_check

Integrate CallExpr checks and new builtin handling