Text this: Conditional and typed rewriting systems :