Add more builtins to support babai