Arbs are no longer adjusted down the semtype hierarchy.
Added semtype? function.
Added highest-restricted-type function, and did minor reorganization.
Rewrote parse-vars-and-rsts to remove in/out args. Also fixed wrong number of args passed to build-internal-channels.