An experiment with modelling Lua stack depth with types in Rust - View it on GitHub