Unified builtins2

split it into multiple lines according to the category of examples?