Fix #97: typecheckPush succeeds too often on Const

This is the fix we reviewed today.
This will break code in Toxaris/tsr-experiments (in minor ways), so probably fix them first.