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

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