Fix build

If we use "smallInteger 0#" in the definitions, then that turns into
an Integer literal, but the compiler can't handle Integer literals
while compiling the integer package (as it can't look up the
mkInteger Id yet).
More build fixes