Principal typing in a for-all intersection discipline