Move a few lemmas about alists and fmaps to misc
Move some theorems around

Move theorems about env lookup into a semantics/proofs directory. The
first step in a plan to put generally useful, basic facts about the
semantics into semantics/proofs, so that things that want to use them
don't have to depend on the metatheory.