Consistent variable assignment sign
Ensure closure for atomic elements only
More and improved examples
Some documentation
More guidance