Moved builtins to own header