Initial import from Maxima git://b45e24b929b9362f2f57a26b2820a26d75fed927
Replace all DEFMFUNs with DEFUNs