Initial version of validating derived properties formulas

Note: untested the procedural use case and still the solution can be a
bit hackish with e.g. constructing Variables and passing them along

However, at least this does something instead of just silently failing

gitlab #252

Change-Id: I209d9d585379b7b987861355589427ee90375738