jpyscript refactor: using jplexer