Make types rules tractable