Make booleans example actually work
first stab at monomorphisation