Improved core type mapping verification so that it includes checking of member return types and arguments count and types.