adds week4 about data types and abstractions

polymorphism
covariance, contravariance and nonvariance
type arithmetic