updates, additions

Updates:
- README
- enums package
- lists package
- monads package

Additions:
- trampolines package