This post is some kind of tutorial on the Last Language type system. Not just a tutorial in fact, but a discussion space to challenge the ISA type architecture.