Better modelling of newtypes in the Term datatype