Type system for my new programming language xD