we cannot qualify names before typing since we need type information for overloading