make semantics parametrised, prove semantics_11

unfortunately Hol_reln doesn't recognize that (mem,indset,ch) is a
parameter, so I now feed the arguments in one at a time. something about
this setup is making the simplifier extremely slow...