several smaller fixes in the interpreter
added empty lines to interpreter spec
cosmetic changes to interpreter notation