starting to use IPA rather than TRS for internal representation