Add more documentation and easy SNat literals