Fixed a bug that does not shifting under lambda
Added a missing case in `rfy'
Fixed a bug caused by typo
Fixed typo
Refactoring
Implemented normalization by evaluation