In era-tacit.js, started a new implementation based on abstract interpretation over the calculus of structures.