Let bind and name base-place decoder