updated section on functional closure
begin type-free section
uncomment methods
Merge pull request #8 from cameronraysmith/master

finished eval and started type-free