Move everything to old
fixed discussion of lift in intensionality monad
fixed discussion of lift in intensionality monad
spell out reader-bind more explicitly Signed-off-by: Jim Pryor <profjim@jimpryor.net>
renaming Signed-off-by: Jim Pryor <profjim@jimpryor.net>