Add proposal for JS1K