Issue #151 Added CHECKCAST. Since we don't support exceptions, it will just panic instead of raising an exception if the cast is incorrect.