RS-2014: Evaluation termination explained better
RS-2014: currying and partial application added