Replaced MAX_TYPE_COUNT with a template argument in VirtualMachine.h, but it broke a bit of encapsulation in the header by exposing the number of types externally.

Author: Dawoodoz