pub fn Size(T: Type, c: Num)
Formal: sizeof(T) = c, c ∈ {num, unknown, any}
sizeof(T) = c, c ∈ {num, unknown, any}