Может стоит ослабить требование явного указания типов возвращаемого значения и аргументов для глобальных методов? Оставить требование только для публичных методов публичных классов.