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.