typed exception for constant binding assignment