add declared_binding_type= definitions to BetterScope
change type incompat error on returns to use be clearer
catch another explicit cast that could be implicit in a block