Add catalog to 2013-11-21-how-to-define-type-in-js