Enforce const

This does static checking of immutable bindings