Fixed failure of left identity in Comp monad instance.
Fixed errors in labeling of tests
Reintegrated pattern matching module
Reintegrated pattern matching module
Fixed some failing tests