Add various type level functions.
Add type level fizzbuzz.

But I can't check the result of type-level-fizzbuzz.