Fix undetected cyclic reference on type checker