=== And Tactic ===
The and tactic provides useful suggestions for `⋀` expressions.

For example:

  (f : (a ⋀ b))

The and tactic will suggest the following:

  Suggestions:
  0. ((((fst ↞ a) ↞ b) ↞ f) : a)
  1. ((((snd ↞ a) ↞ b) ↞ f) : b)
