`Num`, `Int` and `Bool` as built-in types.