Core bindings to run Agda code using NodeJS