Add True Type

added Good first issue Kernel labels

added Doing label

assigned to @nartan

added feature label

Isn't it already there, in contraposition.mdln? Actually, !67 (closed) is already refactoring this to add a bool.mdln file with only True and False.

no, it needs to be hard-coded into the kernel, for reasons of recursors that I do not fully grasp

created branch 74-add-true-type to address this issue

mentioned in merge request !76 (merged)

added To review label and removed Doing label

closed with merge request !76 (merged)

mentioned in commit b9382bc5

removed To review label