typecheck の細かい仕様は文書化されてないと思います。