added some more to core concepts

explained type classes
modules
data types
algebraic data types