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. I think this also
fixes the constant type conversion panic.