let
singleton e =
S
.singleton (
Atom
e)