Rules + Strategies for Transforming Lazy Functional Logic Programs