Started on documentation, and made exponentiation right-associative