Zero-Shot Iterative Formalization and Planning in Partially Observable Environments