simplified the constraint collector for integer types to also handle dynamic invoke expressions in response to #225