fixing embrassing .gitignore
get rid of .ghci file. People find this annoying
safe interface, first pass, not tested.
missing file
Less general rank-2 type on objective-function parameter of 'maximize' and 'minimize'.