RFC: Opt-in builtin traits