add notes on making types, typeclasses and record syntax