Removed Result class from Rule.
Merge pull request #381 from kframework/newparser-result-class

Removed Result class from Rule.