Fixtype of references.
This is a tagged union type, introduced by fty::deftagsum.
This notion of reference is currently not in the grammar, but perhaps it should be. It is either an identiier or a locator, which references either an item in the same program or an item in an external program.