Check if types are understood before we map an impl block for them