A runtime inside Rust’s type system

I wrote this post a while ago and, since I did not have reddit back then, thought this would be a good first post for this subreddit.
On it I use Rust’s type system as a runtime for a VERY simple programming language.
Hope this community enjoys reading it as much as I enjoyed writing it!