Everything typechecks.
Remove some unused variables now that we have check for unused variables.
Remove unused vars