Re-did section MLL (minus *-autonomous categories)