update specs
cleaning

* replace "raise X.new(m)" with "raise X, m"
* fix some mistyped type names
* fix some incorrect indent
reject empty command in Lrun.run