chg: define interfaces for Call and SymbolRef to make comparison easier
chg: move value interface declarations around
add: basic unit support, no algebra yet