The best of both worlds? Static and dynamic typing in the Crystal programming language