Curry.Syntax.Extension
data Extension
data KnownExtension
classifyExtension
kielExtensions
data Tool
classifyTool