Make `crucible_field` work with `crucible_global` (#742).
Make `crucible_field` work with `crucible_global` (#742).

GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script,GaloisInc/saw-script