Fixed a number of bugs( e.g. negation of Monet type 'bit' is not a ~) Simple multi-subsume tests work.
Fixed a number of bugs( e.g. negation of Monet type 'bit' is not a ~)
Simple multi-subsume tests work.

zyzyis/monetdb,zyzyis/monetdb,zyzyis/monetdb,zyzyis/monetdb,zyzyis/monetdb,zyzyis/monetdb,zyzyis/monetdb,zyzyis/monetdb,zyzyis/monetdb,zyzyis/monetdb