Add test for ReductionRule1 inside oneOrMore/zeroOrMore while returning a subtype

(fails to compile)
Support ReductionRule1 inside oneOrMore/zeroOrMore while returning a subtype
Merge pull request #62 from cleishm/reductionrule1-returning-subtype

Fix issue with a looped ReductionRule1 returning subtype