0.5.14
numberlit typecheck - classify integers