Ah, `exp->type` might now be the dereferenced type, maybe we can improve the error message.