Type Discovery

Language Guidelines for Type Discovery