Removed magma-comint-send-input
Defuns with foo := function (bar)...
Indentation of eccentric defuns