regenerated from grammar. Had compiler ererors in the ui part after
pulling.
error type is not optional for error propagations.
fixed containment checking for error paths. now deals correctly with
missing type constraints on source or destination path element.
checks against propagation type set.
Also checks in type set against out type set of props if path does not
have constraint on either side.