Admit functor attributes

We have working code in #407, we just need to clean it up and review it.
For now, just admit the code that would trigger the universe
inconsistency.