With casing on booleans, integers and lists done we can also get casing on pairs and unit (the latter just because it'll likely be the cheapest way to string a bunch of potentially erroring out computations that return ()).

Should be straightforward, pretty much an easier version of casing on lists.