Unified builtins2

why can we avoid to expand patterns if it is a matching?