enhance documentation
added aristocrartic combinators, eased syntax, support tuples
added look and select ops
better error diagnostic