replace TypedSymbol by Cst in foterm