~ remove linebreak in abstract
+ \Over and eval
~ fix arcRule call to validity (was eval)
~ ValueReference returns an OptValidity