Enabled interpretation of type bindings e.g. i : int.

require sync with overturetool/overture@9b69777c31e28171aac7228954a0840f24157634