added the here keyword to the use of nominal, in the binder case. The latter has very bad code, it should be optimized