Implemented 2-datatypes and put them in examples.