Update the Kalman filter example to syntax changes that have transpired.

- Function arguments and comma-separated and in parens, and given clauses are at the end
- Array indexing uses square brackets
- from_ordinal no longer takes the desired type as a required positional argument
- There are structs now instead of records
- Reference operations accept structs, so the gaussianToTup workaround is not needed