Updated to well-typed internal representation
Increased benchmark coverage
Increased test suite coverage
Created instances of applicable typeclass instances
Added numeric conversion functions
Added basic test suite
Added stub benchmark