Added a real proof for #5 after meditating on the nature of scanl, added proof for #7 (might not be strong enough), Added solution for #8, completely lost regarding the Algebra for #9-12