removed type parameterization from Term