Text this: Intersection Types from a Proof-theoretic Perspective.