DE-labtory/koa

The koa is a high-level language that has more expressions than the bitcoin script and is simpler and easy to analyze