Revert "Refactor to reflection/ty.Check"

This reverts commit 28d844efada7aeb72799291422147737705a3efb.