Add file and line info when eval'ing

When eval'ing constraints and rule bodies, set the file and line
information to that on the original source.  This ensures compile
exceptions point to the original source locations.
Add metadata for the RHS to the production schema for line number support.