Allow rebinding of variables (without error) if the new value is reducible to the type of the previously bound value
Allow rebinding of variables (without error) if the new value is reducible to the type of the previously bound value

metaborg/dynsem,metaborg/dynsem