Added dependency on tasty-hunit
Added some simple tests for Easy
Added some simple test suites for bound
Added convient hasType function to HOAS
Added some simple tests for HOAS