Introduce α := fun con.
Tweaked the definition of α (for experimenting with git branching).
Restored the definition of α (for experimenting with git branching).
Revert "Restored the definition of α (for experimenting with git branching)."

This reverts commit 01236b1257fbe82fb47c9c90afff048ba18e9e49.
Revert "Revert "Restored the definition of α (for experimenting with git branching).""

This reverts commit 518fb4bc808209afd4cf9b986d74526565f5a9e0.