Added documentation to Control/Monad files
Merge pull request #1486 from edwinb/nulltype

Fix rules for checking Borrowed types
Merge pull request #1485 from gavlegoat/master

Added documentation to files in libs/base/Control/Monad
Merge branch 'master' of github.com:idris-lang/Idris-dev
javascript: fix backend to support new inliner
Merge pull request #1488 from raichoo/master

javascript: fix backend to support new inliner
Merge branch 'master' of github.com:idris-lang/Idris-dev
Re-enable inlining in Lang IR
Merge branch 'master' of github.com:idris-lang/Idris-dev
Make sure Borrowed constructors aren't updated