Implemented type expressions "Contains" storage engine. Their corresponding support classes and interfaces were also implemented.