Partial merge of MPDE
Adding the mechanism to check the presence of a feature and of a method.

In VectorOpsNoReps: Removing the imperative and adding the variable
support or the DSL.
In PrototypeSpec: Adding a test for the method checking (method on
method)
In MPDE: Adding the check