tweak aatypes to make them more general