Allow back-references to types