HV-754 Allowing overriding executables to declare the same constraints a...

...s the methods they override

Creating this PR as base for discussion on the general direction. I'll refine (and add a BVTCK PR) tomorrow.