Improved MiniH / Added interpreter and lazy rules