Agda: Remove unused imports violating architectural constraints
Agda: Remove unused imports violating architectural constraints

The parametric formalization shouldn't import stuff specific to the
POPL14 calculus.

Old-commit-hash: 30c3071e33a99422b2c878f7bca7937e8b1c216f

inc-lc/ilc-agda