removed last cheat from translator (DeclAssumCons)

Commit includes definition and lemmas about ASHADOW,
which removes shadow entries from an a-list. This should
eventually be moved into HOL's alistTheory.