it turns out riaxpander doesn't like those internal syntax-macros