I want this too, but it sounds like there are some serious practical obstacles, e.g. from the previous thread:
Mind that moving traits to std makes it impossible to add a new required item.
Float,Real, andPrimIntcontain dozens of required items and it seems likely that we'd want to add new methods in the future.