A review of typing in Java

Added a comparison of type issues between Haskell & Java