core_map: Use Core_map in Semantics
Merge pull request #255 from frenetic-lang/core_map

Use Core_map in Semantics