Full refactorization of the type-level interpretation mechanism.