Mcltt.Core.Syntactic.ExpNoConfusion

For some reason, fitting this file in Syntax.v breaks menhir... Who knows?

From Equations Require Import Equations.
From Mcltt Require Import Syntax.

Derive NoConfusion for exp sub.