Added immutability support and removed extraneous SearchAbout from Aexp