Start on writing builtin function type inference as type functions