Added isAtom, Deep, some examples
Contravariant creation, i.e. consumption