aadl: add typeImpl function