An Investigation into the Imposed Cognitive Load of Static & Dynamic Type Systems on Programmers