Merge pull request #627 from effectfully/effectfully/split-normalizer
[PlutusCore] Split the normalizer
