define type for named type
reimplement move operator
remove references of term type
remove functions that use term type
delete term module
remove term type