Type: make metafunction, metafunction_class and template_ valid metafunction classes.
Type: add a not-too-dirty way to optimize metafunction classes.
Remove meaningless or redundant (implied) todos.