trudging through the templates
On the bright side, it compiles
Still confused about checking types with Reps. Some wonky stuff checking for Codegen