Resolve "Add True Type" ✨️

Closes #74 🐔️👍️
Approved-by: belazy <aarthuur01@gmail.com>
Approved-by: nartan <bozec.tanguy@gmail.com>
Approved-by: aalbert <augustin.albert@bleu-azure.fr>
Approved-by: v-lafeychine <vincent.lafeychine@proton.me>

🦀️🍰🦀️🍰🦀️🍰

* fix(kernel): fix `type_true_rec`

* Apply 1 suggestion(s) to 1 file(s)

* fixed error in True recursor

* fixed the implementation of the True recursor and added the Tt type

* added true type and true recursor