Improve handling of type aliases #3055
Description
Currently, we recognize well-known tokens like u32 and lower them to Lean as U32, which means we aren't robust against e.g. type u32 = u8;. We should fix this or at least warn very loudly about it.