Use a generic type-task rule that annotates the AST.
Added strategies to retrieve the type of a term.