Applied workaround by Catherine Dubois for allowing equalities between
types in STLC typing rules.