Idea: User-defined file types