Modules

a map of keys to potential values for simple unification