Pattern match for step 14 of the create term definition algorithm, step 14 not yet implemented. Implemented step 15 of the same, commented out at the moment due to it breaking assumptions in prior steps. Also no tests yet for step 15.