semantic: Replace interfaces in return types.