change fixpoints args

Now there are no trailing 'normal' arguments, which makes things simpler.
add whnf to REPL
fix desugar
don't want negative Naturals...