ensure types are aligned as required