tfp-1.0.0.2: Type-level integers, booleans, lists using type families