Fixed a number of bugs. Still need to fix the size bug, for variable
type sizes. Because ther intermediate format keeps the variable type as
java.lang.Object rather than the real size!