I've added basic sum types to my programming language project, and it simplifies a bunch of stuff. Bool and Unit no longer need to be built-in types! I'm now working on wrapped data, so I can implement Option :)