Added information about fixities and precedence of infix operators