Update test suite to include original test.
First pass at implementing a wrapper library.

Manually stub out the term_to_natural and 
natural_to_term functions for the time being, 
because the actual implementation is most likely 
not going to scale.