Added some stdlib docs