TSPHP-592 Unit-tests for typechecker