Report error when rebinding a variable with an incompatible type
Report error when rebinding a variable with an incompatible type

Disable duplicate variable error. Fixes #134.

metaborg/dynsem,metaborg/dynsem