Validation - unsupported constructs #11
Description
Add 'validation' model processors to backends, so that we can fail soon if unsupported constructs (which can be parsed but not transpiled to the target at hand) are found instead of producing incomplete/invalid output; eg VERBATIM for Lems.