As the title says - this ended up being a mostly harmless change since most unused variables here seem to be either unused because of unimplemented features or unused due to trait requirements
btw I'm not convinced that these are harmless, we should have a serious pass to ensure that we don't need to perform any checks on these variables in the typechecker (for example)
Closes #101 Extracted from #100
As the title says - this ended up being a mostly harmless change since most unused variables here seem to be either unused because of unimplemented features or unused due to trait requirements