Added Additive Complex, Complex instances, and hlint fixes