began translating as4, all that's left is an alpha equivalence function