Checks that particular class are never used as types in variable declarations, return values or parameters.