Describir: Type rules :