Use more descriptive type names; Use -@ to get an unsigned type.
Rework and simplify interpreter.
Fix a couple oopses.