adding a todo (unions)
adding type reference bindings