Context changes : separate dependent case classes, elim : Term => CtxTyp