Added value definitions similarly to function definitions
Back to the original capibilities of the old {collect,solve}-constraints,
i.e. it can now solve the fg example again, doesn't solve recursion yet