Follow Juvix Coding style guidelines

customer:
performer:
deadline:
estimated:
started:
actual:
completed:
confirmed:
dependencies:
- [ ]
supersedes:
-
---

There is a new ruler in town. The coding style guide for Juvix programs, see it here: https://github.com/anoma/juvix/blob/main/CODING.md. We strive for consistency across all Anoma Juvix codebases, and the nspec shouldn't be the exception. 
