icode: Globals and locals with explicit types

Closes #78.