Added examples for casting, made better examples for Maps