remember finite mappings in opaque functions
Merge pull request #22 from philnguyen/finite-maps

remember finite mappings in opaque functions