i am not sure if a lean port is important. TLA+ could do with a bit more TLC (pun intended) with regards its devEx.

Also congratulations to the author, I'll try and reproduce this over the weekend.