Minor bug fixes to the type verification.
More little fixes.
Bug fix for class constants (e.g. int.class, etc).
Bug fix for non-symmetric binary opcodes.
Minor bug fix for array type tests.
More little tweaks.
Added another test case for array accesses.
Added missing file.