Added .gitignore
Initial notes
HLists, Nats, Polys, and mapping over HLists
Added notes on generics, HMaps, labelled generics, and automatic type class derivation
Added further reading