added additional info on types and type classes