Omg, finally got it compiling

there is some syntactic conflation in the type definitions
that was really tripping me up.
Create a tree to "zip" around