Fix terminalogy. MILP -> BILP.
Fix terminalogy. Add more docs.