~pi-cla would you be able to open up a ticket for your issue & post full replication steps & details? (Include as many logs, screenshots, etc. as possible to show full process)

I'm unable to replicate that issue locally - did test routing successfully with MDBID 712 yesterday on master after fix in #34

Thanks for reporting agency.txt issue with MDBID 712 ~pi-cli ; added to list. Fixed with #34

Happy to help! I think there's still one typo or word missing. I think you want either

- the type inference algorithm has linear
+ the type inference algorithm is linear

or you want

- the type inference algorithm has linear
+ the type inference algorithm has linear time complexity

Thanks for collecting this information!

There is a missing noun or noun phrase after "linear", and I also added a comma after the sentence adverb.

+ Fortunately the type inference algorithm has linear when the nesting depth
- Fortunately, the type inference algorithm has linear time complexity when the nesting depth

The last sentence of that section:

- variaions 
+ variations