Exploring Type Systems & Code Analysis — Programming Keynou