Added more unit tests for the type checker to assert that results
from methods are cast