ADD: Terms tests added.

Testing if the type verifying functions work properly.