Disable occurs check by some stupid rules temporarily in place until we implement the actual test for whether a recursive variable is somewhere inside a row type
Convert Type to a fixed-point type (without much benefit yet)