remove various lem warnings in compiler directory

mostly unused variables, some missing patterns.
there are still warnings generated for stuff in semantics.
also, lem seems to be invoked even when not necessary...?
fix compiler proofs for changes in last commit