All but 'mutually recurse type/function definitions' are completed, probably