Added more documentation and made small improvements

- Added support for multi-indexes
- renamed member to elem
- made js monomorphic
- Added more examples to the documentation
- Set fixity of (:=) to 0
- Added Expr instance for tuples