Further improvements and routing for a formal API