New Naif Typing Services