Array items monad feature

I've added the "At" monad so the bound array checking.
The branch has some changes in the solution files so I can use VS2012, the last commit (2fdbac160b0e37256086e054cb69457ae6dfefdb) its the only commit you need to add this feature.