tower-aadl: correct type name on thread ports