Work on conservativity

Define a function 'remove_const' that replaces constants terms with the
terms used when the constants were specified.