Documentation: proof types, CLI commands, and best practices (Proof) | LittleShips