Unified builtins2

I see. We need to find some place to document the pattern expansion mechanism later. It has started to become a little bit complicated.