Wrote spec and implementation for merge sort