I'm working to make it so that there's basically no real API for the vocabulary at all, you just use a little widget on the site to specify exactly the relevant functionality your app supports, and how the word realizes that, with nice visual linkages. LE will then pull that info into the logical formalism. No API needed, just some clicks.

Ideally, it should be so simple that I can make a 2 minute video of it and by the end, you'll think "well that was obvious", as opposed to "ugh now I have to learn type theory? ffs"

I did a dopey little sketch on of the idea, fwiw https://twitter.com/psygnisfive/status/558287230662615040