semantic: Replace typeofs with their types in user resolver.