a throwaway implementation of normalization by evaluation - View it on GitHub