Use type-level integers as main's return values

It's all gradually beginning to get out of hand.