added TypeCheckerArgumentTypeTest