type and data type refer to exactly the same concept but type is just
used as a type synonym whereas data introduces new algebraic datatypes.
move duplicate type.
Merge branch 'develop'