Conjunction and Disjunction are right associative. Add notation for implication. Use Coq precendence levels.

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>