Typing linear constraints for moding CLP(R) programs