Create 2014-12-21-type_system.md