ignore suffixes on symbols for now
back and forth on ADT syntax