Add type descriptions for all built-in types
Updated TODO