Some ideas: * Large math expressions. * Make the code gen classes overload the `+` operator everywhere per class to make the type checker go wild. Or some other highly overloaded function. * Research more possibilities.