Renamed ESBL to LELA.

LELA stands for
  Limited Epistemic Logic with Actions
or
  Limited Epistemic Logic and Actions
or, more catchy,
  Limited Epistemic Logic in Action.

Naming the logic ES[B]L made no sense anymore, because it also
implements regression and progression.