Added a regression tests to make sure that conjunctions are type checked correctly
fixed the verification pipeline
o fixed the verification pipeline
o fixed the problem with the type checking of conjunctions
added the subset operator to the syntax