added  operation to AType; implemented some type tracking during symbolic execution