finish definitions of Identifier and Reference, thus all expected Low_Level types are now defined