This commit also adds size 16 -> extended integer kind mapping. While we are hardcoding this for now, some maintenance (as above) is needed, so it's best to hardcode it only in one place and share that definition.