Adding version of eval for B language where Term and Value spaces are collapsed.  Also demonstrating usefulness of wildcards and ordered pattern matching.