Better Implicit Parallelism Improving ApplicativeDo Heuristics Through Weight Annotations MSc thesis in Computer Science: Algorithms, Language and Logic