Resolute fail expression and built-in function type shortcomings

[reteprelief]

If the fail expression is used in a compute function and its expression contains strings and references, the reference is evaluated in the context of the claim function that catches the ResoluteAssertionException rather than the context of the fail expression.

The built-in function type handles data ports as features but not event data ports, data access, bus access or abstract features.

I have the fixes and will put them up in a separate branch for a pull request