In particular, we have no tests for promotion via type casts. Add them and any other missing ones, if applicable.