Literature review on the benefits of static types