Warnings are a code smell. Get rid of them.
Add unary cast to type inference rules
Fill in GetField in small step interpreter.