core.typed: clarify dotted function limitations