Implemented normalizing resolver. Closes #14.