Export Set and Map types from the Prelude

[janmasrovira]

The types Set and Map are now exported from the Prelude. Additionally, it is possible to refer to Map operations with Map.* and Set.*. E.g.

import Stdlib.Prelude open;

a : Set Nat := Set.empty;
b : Map Nat Nat := Map.empty;