applySubs :: Substitution -> [Term] -> [Term]
-- the context of using this function provides that termsList is not empty
applySubs [] termsList         = termsList
applySubs :: Substitution -> [Term] -> [Term]
applySubs [] termsList         = termsList
applySubs [] termsList         = termsList