Added type flow analysis. The VM now detects type errors. This allows arrays to be implemented without adding metadata to operands.
Added support for int arrays.