A function to get a value out of a data structure
A function to set a value out of a data structure
t() :: term