Some work on the maple-ide from leaflabs