Well, there it is. AnalysisEngine is more or less functional (though super ugly). Refinements and verification are on their way, then we can put everything together.