IR generate builtin types and function types