remove Random extension
rename R.alwaysTrue and R.alwaysFalse
Merge pull request #590 from davidchambers/random

remove Random extension
Merge pull request #595 from davidchambers/always-true

rename R.alwaysTrue and R.alwaysFalse
category doc capitalization
Merge pull request #561 from kedashoe/category-doc-updates

category doc capitalization