add new low level type to represent a tuple/relation attribute renaming specifier - would be used a lot in defining predicates for routines whose parameters have aliases